Duplication , Redundancy , and Similarity in Software Dagstuhl Seminar
نویسندگان
چکیده
From 23.07.06 to 26.07.06, the Dagstuhl Seminar 06301 Duplication, Redundancy, and Similarity in Software was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Duplication, Redundancy, and Similarity in Software: Summary of Dagstuhl Seminar 06301
This paper summarizes the proceedings and outcomes of the Dagstuhl Seminar 06301. The purpose of the seminar was to bring together a broad selection of experts on duplication, redundancy, and similarity in software in order to: synthesize a comprehensive understanding of the topic area, appreciate the diversity in the topic, and to critically evaluate current knowledge. The structure of the sem...
متن کاملSynergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملGeosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492)
Computational Mass Spectrometry (Dagstuhl Seminar 13491) Ruedi Aebersold, Oliver Kohlbacher, and Olga Vitek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492) Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, and Monika Sester . . . . . . . . . . 17 Approaches and Applications of Inductive Programming (Da...
متن کاملSecurity and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)
AI meets Formal Software Development (Dagstuhl Seminar 12271) Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore . . . . . . . . . . . . . . . . 1 Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Peter Feiler, Jérôme Hugues, and Oleg Sokolsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 Security and Dependability for Federat...
متن کاملMachine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)
This report documents the program and the outcomes of Dagstuhl Seminar 16172 “Machine Learning for Dynamic Software Analysis: Potentials and Limits”. Machine learning is a powerful paradigm for software analysis that provides novel approaches to automating the generation of models and other essential artefacts. This Dagstuhl Seminar brought together top researchers active in the fields of machi...
متن کامل